Mei – A Module System for Mechanized
نویسنده
چکیده
This thesis presents several module systems, in particular Mei and DMei, designed for mechanized mathematics systems. Mei is a λ-calculus style module system that supports higher-order functors in a natural way. The semantics of functor application is based on substitution. A novel coercion mechanism integrates a parameter passing mechanism based on theory interpretations with simple λ-calculus style higher-order functors. DMei extends Mei by supporting dependent functor types. Mei is the first module system that successfully supports both higher-order functors and a parameter passing mechanism based on theory interpretations.
منابع مشابه
Designing Effective Strategies to Improve Performance Indicators of Bread Industry Using System Dynamics: A case study in Iran
Iranian bread production methods are often unsanitary, in the last decades, different attempts were made to mechanize production of Iranian breads, but a few of them, due to a variety of factors, could succeed. The aim of this study is to examine various factors affecting the system of bread production in Iran and to provide effective solutions for the development of mechanized bakeries as the ...
متن کاملA Hybrid Switching Technique for Single-Phase AC-Module PV System to Reduce Power Losses and Minimize THD
This paper proposes a hybrid switching technique for a domestic PV system with AC-module architecture. In this PV system, independent control of PV modules, which are directly connected to DC terminals of a single-phase cascaded multilevel inverter, makes module-level MPPT possible to extract maximum available solar energy, especially in partial shading conditions. As one of the main contributi...
متن کاملDetermination of a suitable extraction equipment in mechanized longwall mining in steeply inclined coal seams using fuzzy analytical hierarchy method (Case study: Hamkar coal mine, Iran)
The longwall mining method is one of the most applied methods in extracting low-inclined to high-inclined coal seams. Selection of the most suitable extraction equipment is very important in the economical, safety, and productivity aspects of mining operations. There are a lot of parameters affecting the selection of an extraction equipment in mechanized longwall mining in steeply inclined coal...
متن کاملComparing Estimations of Return to Scale in Mechanized and Semi-Mechanized Broiler Chick Farms Located in Gorgan City
Quantitative analysis of production through evaluation of inputs consumption quantity is of main principles in agricultural policies, which is followed by increasing in production through optimal use of resources. This study has been conducted to estimate different types of production functions in mechanized farms of broiler chicks located in Gorgan city. Cross-section survey data were gathered...
متن کاملNew Strategy of Grid Connected Photovoltaic System Using Module Integrated Converters with B4 Inverter to Overcome Partial Shading Effect
This paper proposes a new configuration for solar energy conversion systems. One challenging issue of the photovoltaic (PV) systems is partial shading, and in this paper Module Integrated Converters (MIC) are used to overcome this problem in PV arrays. A few boost converters are employed as MICs to mitigate the shading effect. Furthermore, to reduce the cost and to increase the system performan...
متن کامل